\section{DPC Data Structures}
Here are the data structures with brief descriptions:\begin{CompactList}
\item\contentsline{section}{{\bf \_\-Historique} }{\pageref{struct__Historique}}{}
\item\contentsline{section}{{\bf \_\-Liste\-Clause} }{\pageref{struct__ListeClause}}{}
\item\contentsline{section}{{\bf \_\-Litteral} }{\pageref{struct__Litteral}}{}
\item\contentsline{section}{{\bf \_\-pile} }{\pageref{struct__pile}}{}
\item\contentsline{section}{{\bf Clause} }{\pageref{structClause}}{}
\item\contentsline{section}{{\bf Formule} }{\pageref{structFormule}}{}
\item\contentsline{section}{{\bf Liste\-Litteraux} }{\pageref{structListeLitteraux}}{}
\end{CompactList}
